退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:集合仿函数的表达:一个代数的角度
J. Adamek; H. P. Gumm; V. Trnkova;
机译:集合函子的表示:结合论
机译:关于赋集函子的表达共代数逻辑的一个注记
机译:用于部分有序集表示的伴随函子,投影和微分算法
机译:代数表达语言中的谓词提升和函子表示
机译:表示环及其鬼环作为二元仿函数的单元组
机译:术语集:临床代码集的透明和可重复表示
机译:关于有限集合函数的表达式代数逻辑的一个注记
机译:真理模拟:走向关于逻辑和游戏的核代数观点.211软件工程
机译:基于TFL的有向图表示形式的术语函子逻辑(TFL)的计算机实现
机译:用户视角空间图像呈现设备,用户视角空间图像呈现方法和程序
机译:体积数据集的评估过程,包括通过计算机确定血管系统的透视表示并通过显示单元向用户显示
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。